Proof Sloths Are Dangerous